On translating UML models into graph transformation systems
نویسندگان
چکیده
منابع مشابه
On translating UML models into graph transformation systems
In this paper we present a concept of a rigorous approach that provides a formal semantics for a fundamental subset of UML. This semantics is derived by translating a given UML model into a graph transformation system, allowing modelers to actually execute their UML model. The graph transformation system comprises graph transformation rules and a working graph which represents the current state...
متن کاملFrom UML Models to Graph Transformation Systems
In this paper we present an approach that allows to validate properties of UML models. The approach is based on an integrated semantics for central parts of the UML. We formally cover UML use case, class, object, statechart, collaboration, and sequence diagrams. Additionally full OCL is supported in the common UML fashion. Our semantics is based on the translation of a UML model into a graph tr...
متن کاملTranslating Java Code to Graph Transformation Systems
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules including some basic rules, common to all programs and providing the operational semantics of Java (data and control) operators, and the program specific rules, namely one rule for each method or constructor declared in t...
متن کاملSoftware Performance Evaluation: Graph Grammar-based Transformation of UML Design Models into Performance Models
The quality of many software intensive systems is determined to a large extent by their performance characteristics, such as response time and throughput. The developers of such systems should be able to assess and understand the performance effects of various design decisions starting at an early stage, when changes are easy and less expensive, and continuing throughout the software life cycle...
متن کاملTransformation of UML and OCL Models into Filmstrip Models
This contribution presents an automatic transformation from UML and OCL models into enriched UML and OCL models, so-called lmstrip models, which embody temporal information when employing OCL while maintaining the same functionality as the original model. The approach uses a combination of object and sequence diagrams that allows for a wide range of possible OCL constraints about sequences of o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Visual Languages & Computing
سال: 2006
ISSN: 1045-926X
DOI: 10.1016/j.jvlc.2005.11.001